#include "realpoly_snippet.h"
#include <iostream>
#include <cstdlib>
#include <map>

using namespace CoCoA;
using namespace std;
using namespace RealPoly;

int main(){
	vector<string> vars;
	vars.push_back("x");
	PolynomialRing R = PolynomialRing(vars);
	Polynomial p(R,COCOA);
	return 0;
}
